theory lower-bound

理论下界